Cyclone: A Safe Dialect of C
نویسندگان
چکیده
Cyclone is a safe dialect of C. It has been designed from the ground up to prevent the buffer overflows, format string attacks, and memory management errors that are common in C programs, while retaining C’s syntax and semantics. This paper examines safety violations enabled by C’s design, and shows how Cyclone avoids them, without giving up C’s hallmark control over low-level details such as data representation and memory management.
منابع مشابه
USENIX Association Proceedings of the 2002 USENIX Annual Technical Conference
Cyclone is a safe dialect of C. It has been designed from the ground up to prevent the buffer overflows, format string attacks, and memory management errors that are common in C programs, while retaining C’s syntax and semantics. This paper examines safety violations enabled by C’s design, and shows how Cyclone avoids them, without giving up C’s hallmark control over low-level details such as d...
متن کاملImplementation and Performance Evaluation of a Safe Runtime System in Cyclone
In this paper we outline the implementation of a simple Scheme interpreter and a copying garbage collector that manages the memory allocated by the interpreter. The entire system including the garbage collector is implemented in Cyclone [11], a safe dialect of C, which supports safe and explicit memory management. We describe the high-level design of the system, report preliminary benchmarks, a...
متن کاملCertifying Compilation and Run-Time Code Generation
A certifying compiler takes a source language program and produces object code as well as a certi cate that can be used to verify that the object code satis es desirable prop erties such as type safety and memory safety Certifying compilation helps to increase both compiler robustness and program safety Compiler robustness is improved since some compiler errors can be caught by checking the obj...
متن کاملLoft + Cyclone
This paper reports on an experiment to add concurrency to the Cyclone programming language, in order to get a safe concurrent language. The basic model considered is that of FairThreads in which synchronous and asynchronous aspects are mixed. The language Loft implements the FairThreads model in C. In this paper, one uses Cyclone instead of C in the implementation of Loft. Using the multi-threa...
متن کاملمدلسازی عددی توفان حارهای گنو و امواج ناشی از آن در دریای عمان
The goal of this study was to simulate the Gonu cyclone and its resulting waves in the Gulf of Oman. The Gonu cyclone wind field was simulated using CGW module of Mike 21 and cyclone track data. Then, using SW module of Mike 21, the simulated wind field and ECMWF parametric boundary condition, the resulting wave field was simulated. The maximum significant wave height of 10.5 m in the Gulf of O...
متن کامل